D. Pnueli: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[ACM Press the 8th ACM SIGPLAN-SIGACT symposium - Williamsburg, Virginia (1981.01.26-1981.01.28)] Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '81 - The temporal logic of branching time

Ben-Ari, Mordechai, Manna, Zohar, Pnueli, Amir

Year:

1981

Language:

english

File:

PDF, 889 KB

english, 1981

2

Transitive Orientation of Graphs and Identification of Permutation Graphs

Pnueli, A., Lempel, A., Even, S.

Journal:

Canadian Journal of Mathematics

Year:

1971

Language:

english

File:

PDF, 1.50 MB

english, 1971

3

[IEEE 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) - Providence, RI, USA (1977.10.31-1977.11.2)] 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) - The temporal logic of programs

Year:

1977

Language:

english

File:

PDF, 1.54 MB

english, 1977

4

Fluid Mechanics || EXACT SOLUTIONS OF THE NAVIER–STOKES EQUATIONS

Pnueli, David, Gutfinger, Chaim

Year:

1992

Language:

english

File:

PDF, 1.50 MB

english, 1992

5

Adequate proof principles for invariance and liveness properties of concurrent programs

Zohar Manna, Amir Pnueli

Journal:

Science of Computer Programming

Year:

1984

Language:

english

File:

PDF, 1.82 MB

english, 1984

6

On Near Integrability of Some Impact Systems

Pnueli, Michal, Rom-Kedar, Vered

Journal:

SIAM Journal on Applied Dynamical Systems

Year:

2018

Language:

english

File:

PDF, 1.40 MB

english, 2018

7

Lower Bounds to the Gravest and All Higher Frequencies of Homogeneous Vibrating Plates of Arbitrary Shape

Journal:

Journal of Applied Mechanics

Year:

1975

Language:

english

File:

PDF, 454 KB

english, 1975

8

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Specifying and proving serializability in temporal logic

Peled, D., Katz, S., Pnueli, A.

Year:

1991

Language:

english

File:

PDF, 1.27 MB

english, 1991

9

Synthesis of Reactive(1) designs

Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Saʼar

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 708 KB

english, 2012

10

Web Interface Interpretation Using Graph Grammars

Jun Kong, Barkol, O., Bergman, R., Pnueli, A., Schein, S., Kang Zhang, Chunying Zhao

Journal:

IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)

Year:

2012

Language:

english

File:

PDF, 1.01 MB

english, 2012

11

Natural Bending Frequency Comparable to Rotational Frequency in Rotating Cantilever Beam

Journal:

Journal of Applied Mechanics

Year:

1972

Language:

english

File:

PDF, 286 KB

english, 1972

12

The temporal semantics of concurrent programs

Journal:

Theoretical Computer Science

Year:

1981

Language:

english

File:

PDF, 1.45 MB

english, 1981

13

Probabilistic Verification

A. Pnueli, L.D. Zuck

Journal:

Information and Computation

Year:

1993

File:

PDF, 1.11 MB

1993

14

On the drift of aerosol particles in sonic fields

P. Vainshtein, M. Fichman, D. Pnueli

Journal:

Journal of Aerosol Science

Year:

1992

Language:

english

File:

PDF, 345 KB

english, 1992

15

[ACM Press the 13th ACM SIGACT-SIGPLAN symposium - St. Petersburg Beach, Florida (1986.01.01-..)] Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86 - A really abstract concurrent model and its temporal logic

Barringer, Howard, Kuiper, Ruurd, Pnueli, Amir

Year:

1986

Language:

english

File:

PDF, 1.89 MB

english, 1986

16

[Lecture Notes in Computer Science] Advances in Cryptology — EUROCRYPT ’88 Volume 330 || Public Quadratic Polynomial-Tuples for Efficient Signature-Verification and Message-Encryption

Barstow, D., Brauer, W., Brinch Hansen, P., Gries, D., Luckham, D., Moler, C., Pnueli, A., Seegmüller, G., Stoer, J., Wirth, N., Günther, Christoph G.

Year:

1988

Language:

english

File:

PDF, 1.27 MB

english, 1988

17

Automatic program generation in distributed cooperative computation

Prywes, Noah, Pnueli, Amir

Journal:

IEEE Transactions on Systems Man and Cybernetics

Year:

1984

Language:

english

File:

PDF, 3.20 MB

english, 1984

18

Scheduling time-constrained instructions on pipelined processors

Leung, Allen, Palem, Krishna V., Pnueli, Amir

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2001

Language:

english

File:

PDF, 349 KB

english, 2001

19

Tomato SP-Interacting Proteins Define a Conserved Signaling System That Regulates Shoot Architecture and Flowering

Lilac Pnueli, Tamar Gutfinger, Dana Hareven, Orna Ben-Naim, Neta Ron, Noam Adir and Eliezer Lifschitz

Journal:

Year:

2001

Language:

english

File:

PDF, 3.66 MB

english, 2001

20

H2A.Z controls the stability and mobility of nucleosomes to regulate expression of the LH genes

Rudnizky, Sergei, Bavly, Adaiah, Malik, Omri, Pnueli, Lilach, Melamed, Philippa, Kaplan, Ariel

Journal:

Nature Communications

Year:

2016

Language:

english

File:

PDF, 1.84 MB

english, 2016

21

The stability chart of parallel shear flows with double diffusive processes—approximate derivation by a first-order Galerkin method

M. Magen, D. Pnueli, Y. Zvirin

Journal:

International Journal of Heat and Mass Transfer

Year:

1988

Language:

english

File:

PDF, 1.47 MB

english, 1988

22

Axiomatic approach to total correctness of programs

Zohar Manna, Amir Pnueli

Journal:

Acta Informatica

Year:

1974

Language:

english

File:

PDF, 856 KB

english, 1974

23

The TM5 MADS Box Gene Mediates Organ Differentiation in the Three Inner Whorls of Tomato Flowers

Journal:

Year:

1994

Language:

english

File:

PDF, 3.41 MB

english, 1994

24

Effect of particle loading on granular bed filtration—The cluster enhanced filter model

M. Fichman, C. Gutfinger, D. Pnueli

Journal:

Journal of Aerosol Science

Year:

1988

Language:

english

File:

PDF, 896 KB

english, 1988

25

Effect of particle loading on granular bed filtration—Extension of the CEF model to polydisperse systems

C. Gutfinger, D. Pnueli, M. Fichman

Journal:

Journal of Aerosol Science

Year:

1988

Language:

english

File:

PDF, 483 KB

english, 1988

26

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Verifying Tomasulo's algorithm by refinement

Arons, T., Pnueli, A.

Year:

1999

Language:

english

File:

PDF, 61 KB

english, 1999

27

Model Checking with Strong Fairness

Yonit Kesten, Amir Pnueli, Li-On Raviv, Elad Shahar

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 407 KB

english, 2006

28

A linear-history semantics for languages for distributed programming

N. Francez, D. Lehmann, A. Pnueli

Journal:

Theoretical Computer Science

Year:

1984

Language:

english

File:

PDF, 2.25 MB

english, 1984

29

[Lecture Notes in Computer Science] Compositionality: The Significant Difference Volume 1536 || Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness

de Roever, Willem-Paul, Langmaack, Hans, Pnueli, Amir

Year:

1998

Language:

english

File:

PDF, 263 KB

english, 1998

30

Spinors and scalars on Riemann surfaces

Journal:

Journal of Physics A: Mathematical and General Physics

Year:

1994

Language:

english

File:

PDF, 354 KB

english, 1994

31

Is the interesting part of process logic uninteresting?

R. Sherman, A. Pnueli, D. Harel

Year:

1982

Language:

english

File:

PDF, 735 KB

english, 1982

32

Reachability analysis of dynamical systems having piecewise-constant derivatives

Eugene Asarin, Oded Maler, Amir Pnueli

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.91 MB

english, 1995

33

Permutation Graphs and Transitive Graphs

Even, S., Pnueli, A., Lempel, A.

Journal:

Journal of the ACM

Year:

1972

Language:

english

File:

PDF, 498 KB

english, 1972

34

The Dynamic Response to Impact Loading of a Fluid-Supported Rectangular Plate

Sondak, E., Perl, M., Pnueli, D.

Journal:

Journal of Vibration Acoustics Stress and Reliability in Design

Year:

1989

Language:

english

File:

PDF, 903 KB

english, 1989

35

Developing ReApp: an emotion regulation mobile intervention for intergroup conflict

Porat, Roni, Erel, Lihi, Pnueli, Vered, Halperin, Eran

Journal:

Cognition & Emotion

Year:

2020

File:

PDF, 3.27 MB

2020

36

Secondary streaming in a narrow cell caused by a vibrating wall

P. Vainshtein, M. Fichman, D. Pnueli

Journal:

Journal of Sound and Vibration

Year:

1995

Language:

english

File:

PDF, 420 KB

english, 1995

37

SPIE Proceedings [SPIE Microlithography 2004 - Santa Clara, CA (Sunday 22 February 2004)] Metrology, Inspection, and Process Control for Microlithography XVIII - Image quality monitoring for enhanced precision and tool matching of CD measuring tools

Pnueli, Ayelet, Silver, Richard M., Karabekov, Albert Y., Eytan, Guy

Year:

2004

File:

PDF, 255 KB

2004

38

[Lecture Notes in Computer Science] Advances in Cryptology — EUROCRYPT ’88 Volume 330 ||

Barstow, D., Brauer, W., Brinch Hansen, P., Gries, D., Luckham, D., Moler, C., Pnueli, A., Seegmüller, G., Stoer, J., Wirth, N., Günther, Christoph G.

Year:

1988

Language:

english

File:

PDF, 17.15 MB

english, 1988

39

[ACM Press the 16th ACM SIGPLAN-SIGACT symposium - Austin, Texas, United States (1989.01.11-1989.01.13)] Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89 - On the synthesis of a reactive module

Pnueli, A., Rosner, R.

Year:

1989

Language:

english

File:

PDF, 1.17 MB

english, 1989

40

Models for reactivity

Zohar Manna, Amir Pnueli

Journal:

Acta Informatica

Year:

1993

Language:

english

File:

PDF, 3.08 MB

english, 1993

41

The TM5 MADS Box Gene Mediates Organ Differentiation in the Three Inner Whorls of Tomato Flowers

Lilac Pnueli, Dana Hareven, Limor Broday, Charles Hurwitz and Eliezer Lifschitz

Journal:

Year:

1994

Language:

english

File:

PDF, 3.72 MB

english, 1994

42

Hough techniques for fast optimization of linear constant velocity motion in moving influence fields

Y. Pnueli, N. Kiryati, A.M. Bruckstein

Journal:

Pattern Recognition Letters

Year:

1994

Language:

english

File:

PDF, 3.77 MB

english, 1994

43

[IEEE 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE) - Cambridge, MA, USA (2009.07.13-2009.07.15)] 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design - Synthesis of programs from temporal property specifications

Pnueli, Amir, Klein, Uri

Year:

2009

Language:

english

File:

PDF, 221 KB

english, 2009

44

[IEEE 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - Seattle, WA, USA (12-15 Aug. 2006)] 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - Faster Solutions of Rabin and Streett Games

Piterman, N., Pnueli, A.

Year:

2006

Language:

english

File:

PDF, 209 KB

english, 2006

45

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback

Maler, Oded, Pnueli, Amir

Year:

2003

Language:

english

File:

PDF, 226 KB

english, 2003

46

[ACM Press the 11th ACM SIGACT-SIGPLAN symposium - Salt Lake City, Utah, United States (1984.01.15-1984.01.18)] Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 - Temporal verification of carrier-sense local area network protocols

Shasha, D. E., Pnueli, A., Ewald, W.

Year:

1984

Language:

english

File:

PDF, 888 KB

english, 1984

47

Decidable Properties of Monadic Functional Schemas

Ashcroft, Edward, Manna, Zohar, Pnueli, Amir

Journal:

Journal of the ACM

Year:

1973

Language:

english

File:

PDF, 695 KB

english, 1973

48

[ACM Press the sixteenth annual ACM symposium - Santa Barbara, California, United States (1997.08.21-1997.08.24)] Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 - Verification engineering

Year:

1997

Language:

english

File:

PDF, 54 KB

english, 1997

49

[ACM Press the 10th ACM SIGACT-SIGPLAN symposium - Austin, Texas (1983.01.24-1983.01.26)] Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 - How to cook a temporal proof system for your pet language

Manna, Zohar, Pnueli, Amir

Year:

1983

Language:

english

File:

PDF, 852 KB

english, 1983

50

The elongation factor eEF3 (Yef3) interacts with mRNA in a translation independent manner

Samra, Nitzan, Atir-Lande, Avigail, Pnueli, Lilach, Arava, Yoav

Journal:

BMC Molecular Biology

Year:

2015

Language:

english

File:

PDF, 2.18 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски